搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proceedings of the Ninth International Vacuum Congress and Fifth International Conference on Solid Surfaces : September 26-30, 1983, Madrid, Spain 0 索取号：TB7-53/E901/9 作者：International Vacuum Congress (9th : 1983 : Madrid、 Spain)、Segovia、 J. L. de.、International Conference on Solid Surfaces (5th : 1983 : Madrid、 Spain)、出版社：[Madrid] : Asociacion Espa鋘ola del Vacio y Sus Aplicaciones (A.S.E.V.A.), 1983.		Variational methods in engineering : proceedings of the 2nd International Conference, University of Southampton, England, July 1985 0 索取号：TB11-53/E909/2 作者：International Conference on Variational Methods in Engineering (2nd : 1985 : University of Southampton、 England)、Brebbia、 C. A.、出版社：Berlin : Springer, c1985.
	Sustainable solid waste management in the southern Black Sea region 0 索取号：X32/E20011 作者：Bhaskar Nath、Nath、 Bhaskar.、Pelovski、 Yontcho.、Stoyanov、 Stoyan K.、North Atlantic Treaty Organization. Scientific Affairs Division.、NATO Advanced Research Workshop on Sustainable Solid Waste Management in the Southern Black Sea Region (1999 : Sofia、 Bulgaria)、出版社：Boston, MA : Kluwer Academic Publishers, 2000.		Studies in bilingual education 0 索取号：H09-53/E801 作者：Lord、 Robert、 1931-、Tsou、 Ka-yin、 Benjamin.、University of Hong Kong. Language Centre.、International Symposium on Bilingual Education (Hong Kong : 1976).、出版社：Hong Kong : Language Centre, University of Hong Kong, [1977?]
	Proceedings [of the] 42nd Midwest Symposium on Circuits and Systems [electronic resource] : Corbett Center, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN7-53/E20071/42.2 作者：Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、出版社：[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.		Proceedings [of the] 42nd Midwest Symposium on Circuits and Systems [electronic resource] : Corbett Center, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN7-53/E20071/42.1 作者：Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、出版社：[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.
	Global competitiveness report 2000 0 索取号：F1-532/E991/2000 作者：Michael Porter、Schwab、 Klaus.、World Economic Forum.、Harvard University. Center for International Development.、出版社：New York : Oxford University Press, c2000.		Proceedings, IEEE Workshop on Mathematical Methods in Biomedical Image Analysis : Hilton Head Island, South Carolina, June 11-12, 2000 0 索取号：R311-532/E20021/2000 作者：Workshop on Mathematical Methods in Biomedical Image Analysis (2000 : Hilton HeadIsland、 S.C.)、IEEE Computer Society. Technical Committee on Machine Intelligence and Pattern Analysis.、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2000.
	The emergence of the American university 0 索取号：G771.24/E804 作者：Veysey、 Laurence R.、出版社：Chicago : University of Chicago Press, 1970, c1965.		Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder 0 索取号：O141.3-532/E20011 作者：出版社：Providence, R.I. : American Mathematical Society, c2000.
	Optimality-theoretic syntax 0 索取号：H04/E20014 作者：Legendre、G.、Legendre、 ǴЕraldine、 1953-、Grimshaw、 Jane B. (Jane Barbara)、 1951-、Vikner、 Sten.、Johns Hopkins University.、University of Maryland at College Park.、出版社：Cambridge, Mass. : MIT Press, c2001.		Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000, proceedings 0 索取号：O157.5/E20014 作者：International Workshop、 WG (2000 : Konstanz、 Germany)、Brandes、 Ulrik、Wagner、 Dorothea、出版社：Berlin ; London : Springer, c2000
	Dimensions of competitiveness : issues and policies 0 索取号：F740/E20011 作者：Lester Lloyd-Reason、Lloyd-Reason、 L. (Lester)、Wall、 Stuart、 1946-、Anglia Polytechnic University. Centre for International Business and Economic Research、出版社：Cheltenham, UK ; Northampton, MA : Edward Elgar, c2000.		A classification of instructional programs (CIP) 0 索取号：G719.712/E901 作者：Malitz、 Gerald S.、United States. Office of Educational Research and Improvement. Center for Education Statistics.、出版社：Washington, D.C. : Center for Education Statistics, Office of Educational Research and Improvement, U.S. Dept. of Education : For sale by the Supt. of Docs., U.S. G.P.O., 1987.
	The university of Utopia 0 索取号：G712.4/E601 作者：Hutchins、 Robert Maynard、 1899-1977.、出版社：Chicago ; London : University of Chicago Press, [1953].		Inductive logic programming : 9th International Workshop, ILP-99, London, UK, July 24-27, 2000 : proceedings 0 索取号：作者：ILP-2000 (10th : 2000 : London、 UK)、Cussens、 James、Frisch、 Alan、出版社：Berlin ; New York : Springer, c2000.

	Proceedings of the Ninth International Vacuum Congress and Fifth International Conference on Solid Surfaces : September 26-30, 1983, Madrid, Spain 0 索取号：TB7-53/E901/9 作者：International Vacuum Congress (9th : 1983 : Madrid、 Spain)、Segovia、 J. L. de.、International Conference on Solid Surfaces (5th : 1983 : Madrid、 Spain)、出版社：[Madrid] : Asociacion Espa鋘ola del Vacio y Sus Aplicaciones (A.S.E.V.A.), 1983.		Variational methods in engineering : proceedings of the 2nd International Conference, University of Southampton, England, July 1985 0 索取号：TB11-53/E909/2 作者：International Conference on Variational Methods in Engineering (2nd : 1985 : University of Southampton、 England)、Brebbia、 C. A.、出版社：Berlin : Springer, c1985.
	Sustainable solid waste management in the southern Black Sea region 0 索取号：X32/E20011 作者：Bhaskar Nath、Nath、 Bhaskar.、Pelovski、 Yontcho.、Stoyanov、 Stoyan K.、North Atlantic Treaty Organization. Scientific Affairs Division.、NATO Advanced Research Workshop on Sustainable Solid Waste Management in the Southern Black Sea Region (1999 : Sofia、 Bulgaria)、出版社：Boston, MA : Kluwer Academic Publishers, 2000.		Studies in bilingual education 0 索取号：H09-53/E801 作者：Lord、 Robert、 1931-、Tsou、 Ka-yin、 Benjamin.、University of Hong Kong. Language Centre.、International Symposium on Bilingual Education (Hong Kong : 1976).、出版社：Hong Kong : Language Centre, University of Hong Kong, [1977?]
	Proceedings [of the] 42nd Midwest Symposium on Circuits and Systems [electronic resource] : Corbett Center, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN7-53/E20071/42.2 作者：Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、出版社：[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.		Proceedings [of the] 42nd Midwest Symposium on Circuits and Systems [electronic resource] : Corbett Center, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN7-53/E20071/42.1 作者：Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、出版社：[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.
	Global competitiveness report 2000 0 索取号：F1-532/E991/2000 作者：Michael Porter、Schwab、 Klaus.、World Economic Forum.、Harvard University. Center for International Development.、出版社：New York : Oxford University Press, c2000.		Proceedings, IEEE Workshop on Mathematical Methods in Biomedical Image Analysis : Hilton Head Island, South Carolina, June 11-12, 2000 0 索取号：R311-532/E20021/2000 作者：Workshop on Mathematical Methods in Biomedical Image Analysis (2000 : Hilton HeadIsland、 S.C.)、IEEE Computer Society. Technical Committee on Machine Intelligence and Pattern Analysis.、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2000.
	The emergence of the American university 0 索取号：G771.24/E804 作者：Veysey、 Laurence R.、出版社：Chicago : University of Chicago Press, 1970, c1965.		Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder 0 索取号：O141.3-532/E20011 作者：出版社：Providence, R.I. : American Mathematical Society, c2000.
	Optimality-theoretic syntax 0 索取号：H04/E20014 作者：Legendre、G.、Legendre、 ǴЕraldine、 1953-、Grimshaw、 Jane B. (Jane Barbara)、 1951-、Vikner、 Sten.、Johns Hopkins University.、University of Maryland at College Park.、出版社：Cambridge, Mass. : MIT Press, c2001.		Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000, proceedings 0 索取号：O157.5/E20014 作者：International Workshop、 WG (2000 : Konstanz、 Germany)、Brandes、 Ulrik、Wagner、 Dorothea、出版社：Berlin ; London : Springer, c2000
	Dimensions of competitiveness : issues and policies 0 索取号：F740/E20011 作者：Lester Lloyd-Reason、Lloyd-Reason、 L. (Lester)、Wall、 Stuart、 1946-、Anglia Polytechnic University. Centre for International Business and Economic Research、出版社：Cheltenham, UK ; Northampton, MA : Edward Elgar, c2000.		A classification of instructional programs (CIP) 0 索取号：G719.712/E901 作者：Malitz、 Gerald S.、United States. Office of Educational Research and Improvement. Center for Education Statistics.、出版社：Washington, D.C. : Center for Education Statistics, Office of Educational Research and Improvement, U.S. Dept. of Education : For sale by the Supt. of Docs., U.S. G.P.O., 1987.
	The university of Utopia 0 索取号：G712.4/E601 作者：Hutchins、 Robert Maynard、 1899-1977.、出版社：Chicago ; London : University of Chicago Press, [1953].		Inductive logic programming : 9th International Workshop, ILP-99, London, UK, July 24-27, 2000 : proceedings 0 索取号：作者：ILP-2000 (10th : 2000 : London、 UK)、Cussens、 James、Frisch、 Alan、出版社：Berlin ; New York : Springer, c2000.